According to Greg Brockman (@gdb) and Terence Tao, GPT-5.2 Pro has reached a significant milestone by independently solving an Erdos problem—a first for large language models (LLMs). This achievement demonstrates the increasing capability of AI tools in tackling complex, unsolved mathematical problems, highlighting practical applications in scientific research and advanced mathematics. The success of GPT-5.2 Pro in this domain signals major business opportunities for AI-driven research platforms and could accelerate the development of AI-powered discovery tools for mathematics and STEM fields. As noted on Twitter, this breakthrough is expected to drive further momentum and investment in AI solutions for scientific and academic markets (source: https://twitter.com/gdb/status/2009739147402244381).

According to Lex Fridman (@lexfridman), his recent conversation with renowned mathematician Terence Tao highlighted the emerging role of artificial intelligence in addressing some of the hardest problems in mathematics and physics. Tao discussed how advanced AI systems can assist researchers by automating complex computations, generating novel conjectures, and analyzing vast datasets, which accelerates mathematical discovery and problem-solving. The discussion emphasized practical AI applications in theoretical research and suggested that future AI-powered tools could unlock significant breakthroughs in both academic and industrial settings (source: Lex Fridman Twitter, June 14, 2025).